function jump(url)
{
  window.location.replace(url)
}
function messagebox(txt)
{
	alert(txt);
}